Deductive varieties of modules and universal algebras
نویسندگان
چکیده
منابع مشابه
dedekind modules and dimension of modules
در این پایان نامه، در ابتدا برای مدول ها روی دامنه های پروفر شرایط معادل به دست آورده ایم و خواصی از ددکیند مدول ها روی دامنه های پروفر مشخص کرده ایم. در ادامه برای ددکیند مدول های با تولید متناهی روی حلقه های به طور صحیح بسته شرایط معادل به دست آورده ایم و ددکیند مدول های ضربی را مشخص کرده ایم. گزاره هایی در مورد بعد ددکیند مدول ها بیان کرده ایم. در پایان، قضایای lying over و going down را برا...
15 صفحه اولRealizing Enveloping Algebras via Varieties of Modules
By using the Ringel-Hall algebra approach, we investigate the structure of the Lie algebra L(Λ) generated by indecomposable constructible sets in the varieties of modules for any finite dimensional Calgebra Λ. We obtain a geometric realization of the universal enveloping algebra R(Λ) of L(Λ). This generalizes the main result of Riedtmann in [19]. We also obtain Green’s theorem in [6] in a geome...
متن کاملCharacterization of Protomodular Varieties of Universal Algebras
Protomodular categories were introduced by the first author more than ten years ago. We show that a variety V of universal algebras is protomodular if and only if it has 0-ary terms e1, . . . , en, binary terms t1, . . . , tn, and (n+1)-ary term t satisfying the identities t(x, t1(x, y), . . . , tn(x, y)) = y and ti(x, x) = ei for each i = 1, . . . , n.
متن کاملSolvability of Equations in Varieties of Universal Algebras
We study classes of universal algebras in a variety that are closed under the formation of Cartesian products, homomorphic images and extensions. We prove a Birkhoff type theorem for such axiomatic classes. Let V be a variety of algebras of a fixed type τ and let S be a set of first order sentences in the language of τ of the form (∃x1) . . . (∃xn)((u1 = v1) ∧ · · · ∧ (um = vm)), where u1, v1, ...
متن کاملCharacterization of Pointed Varieties of Universal Algebras with Normal Projections
We characterize pointed varieties of universal algebras in which (A × B)/A ≈ B, i.e. all product projections are normal epimorphisms. 1. Definition. We will say that a pointed category C has normal projections if every product projection A × B → B in C is a normal epimorphism. Equivalently, for any two objects A and B in such a category C, forming the product A×B and then factoring it by A ≈ A×...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 1985
ISSN: 0002-9947
DOI: 10.1090/s0002-9947-1985-0779065-x